Piszc symbolicznie, kadej parze [~] musimy przyporzdkowa trjk [~] gdzie [~] oznacza jedn z liter [~]. Wyraenie [~] nazwiemy instrukcj maszyny. Jeeli takie przyporzdkowanie istnieje, ruch maszyny dla kadej sytuacji jest jednoznacznie okrelony. Przyporzdkowanie takie jest pewn funkcj. Poniewa liczba stanw maszyny jest skoczona i sownik jest skoczony, wic liczba sytuacji jest rwnie skoczona i wynosi [~] gdzie [~] jest liczb symboli sownika, a [~] - liczb stanw maszyny. 